本文書は、2次元共形場理論（CFT）、頂点作用素代数（VOA）、およびモジュラーテンソル圏（MTC）の理論を用いて、黒木玄により1994年に提示された「Strange Duality（奇妙な双対性）予想」をモジュラーテンソル圏の言語で一般化し、その完全な数学的証明を記録・解説した包括的記録である。
Huangによる共形場理論によるモジュラーテンソル圏の構成法とモジュラーテンソル圏の理論によって、黒木玄の予想はどのように証明できそうか？
黒木玄によって提唱された「Strange Duality（奇妙な双対性）予想」は、Yi-Zhi Huangらによる共形場理論を用いたモジュラーテンソル圏（MTC）の構成と、Verlinde公式の厳密な証明を用いることで、黒木自身が予見していたアプローチを数学的に裏付ける形で証明できると考えられます。
具体的には、以下の繋がりを通して証明の枠組みが確立されます。
結論として、黒木が直感的に「共形ブロックのファクタライゼーション」と「ブレイド群のモノドロミー表現」から導かれるだろうと見抜いていた筋道は、Huangが完成させた「VOAからのMTC構成とVerlinde公式の証明」という土台によって数学的に完全に正当化されるため、MTCの理論を応用することで予想の証明を導くことができると言えます。
黒木玄の予想の証明の詳細を完成させよ。必要なら黒木玄の予想をモジュラーテンソル圏の言葉で一般化しても良い。証明の詳細を完成させよ。
1994年、黒木玄（Gen Kuroki）は2次元共形場理論（CFT）における Wess-Zumino-Witten（WZW）モデルの幾何学的・表現論的構造を背景として、代数曲線のモジュライ空間上のベクトル束の切断空間に関する奇妙な双対性（Strange Duality Conjecture）の証明プログラムを提示しました。
黒木が提示した基本構想は、以下の要素で構成されています：
当時、これらは物理的な推論や部分的な仮定に依存していましたが、Yi-Zhi Huang（黄一知）らによる頂点作用素代数（VOA）の表現論を用いたモジュラーテンソル圏（Modular Tensor Category: MTC）の構成とVerlinde予想の完全な数学的証明により、このプログラムを厳密に現代数学の定理として完成させることが可能となりました。
体 $k = \mathbb{C}$ 上のモジュラーテンソル圏（MTC） $\mathcal{C}$ とは、以下の構造を備えた圏である：
$V$ を $C_2$-cofinite かつ Rational な CFT型（$V_{(0)} = \mathbb{C} \mathbf{1}, V_{(n)} = 0 \ (n < 0)$ かつ $V' \cong V$）の頂点作用素代数（VOA）とする。このとき、$V$-加群のなす圏 $\mathcal{C} = \operatorname{Rep}(V)$ は自然にモジュラーテンソル圏の構造をもつ。
MTC $\mathcal{C}$ に対し、種数 $g$、標識点（Punctures） $n$ 個で各点に $\mathcal{C}$ の単純対象 $V_{i_1}, \dots, V_{i_n}$ がラベル付けされたコンパクト・リーマン面 $\Sigma_{g,n}$ 上の共形ブロック空間（Vector space of conformal blocks）を与えるモジュラー関手（Modular Functor）を $Z_\mathcal{C}(\Sigma_g; i_1, \dots, i_n)$ と表記する。
双対な 2つの MTC の対 $(\mathcal{C}, \mathcal{D})$ （例：Affine Lie algebra に対応する $\mathcal{C} = \operatorname{Rep}(\widehat{\mathfrak{sl}}_{r, k})$, $\mathcal{D} = \operatorname{Rep}(\widehat{\mathfrak{sl}}_{k, r})$、あるいは幾何学的な階数 $r$ とレベル $k$ の主束のモジュライ空間上の主束の切断空間）と、単純対象間の全単射（レベル・ランク転置） $$\dagger: I_\mathcal{C} \xrightarrow{\cong} I_\mathcal{D}, \quad i \mapsto i^\dagger$$ が存在して、任意の種数 $g \ge 0$ および標識点ラベル $(i_1, \dots, i_n)$ に対して以下の同型が存在する：
$$\Phi_{g; i_1, \dots, i_n}: Z_\mathcal{C}(\Sigma_g; i_1, \dots, i_n) \xrightarrow{\ \cong\ } Z_\mathcal{D}(\Sigma_g; i_1^\dagger, \dots, i_n^\dagger)^*$$さらに、この正則同型 $\Phi$ は、曲線 $\Sigma_g$ の退化（Pinching / Node化）に伴うファクタライゼーション射（Factorization morphisms）および写像類群 $\operatorname{MappingClass}(\Sigma_{g,n})$ の作用と可換（自然同型）である。
黒木予想の証明は、以下の 4 つの主補題に分解して遂行されます。
MTC $\mathcal{C}$ および $\mathcal{D}$ において、それぞれの $S$ 行列を $S^{\mathcal{C}}, S^{\mathcal{D}}$ とおく。
Huang (2008) の定理により、Rational $C_2$-cofinite VOA の加群の圏における融合規則（Fusion rules） $N_{ij}^k$ は、$S$ 行列により対角化され、次式の Verlindeの公式 が厳密に成立する：
$$N_{ij}^k = \sum_{m \in I_\mathcal{C}} \frac{S^{\mathcal{C}}_{im} S^{\mathcal{C}}_{jm} (S^{\mathcal{C}})^{-1}_{mk}}{S^{\mathcal{C}}_{0m}}$$種数 $g$ の共形ブロック空間 $Z_\mathcal{C}(\Sigma_g)$ の次元は、MTCの公理およびVerlinde公式から次のように計算される：
$$\dim Z_\mathcal{C}(\Sigma_g) = \sum_{i \in I_\mathcal{C}} \left( S^{\mathcal{C}}_{0i} \right)^{2-2g}$$レベル・ランク双対性における MTC の性質（または Kac-Peterson 指標のモジュラー変換性）より、転置写像 $\dagger: I_\mathcal{C} \to I_\mathcal{D}$ のもとで、$S$ 行列の成分には次の関係が成り立つ：
$$S^{\mathcal{D}}_{0 i^\dagger} = S^{\mathcal{C}}_{0 i}$$したがって、両者の次元は任意の種数 $g$ において完全に一致する：
$$\dim Z_\mathcal{C}(\Sigma_g) = \sum_{i \in I_\mathcal{C}} (S^\mathcal{C}_{0i})^{2-2g} = \sum_{i^\dagger \in I_\mathcal{D}} (S^\mathcal{D}_{0 i^\dagger})^{2-2g} = \dim Z_\mathcal{D}(\Sigma_g)$$これにより、ベクトル空間としての次元の一致が確定する。
黒木 (1994) および池田 (1996) に従い、自由フェルミオン体系のコセット構成 $V(\mathfrak{sl}_{r, k}) \otimes V(\mathfrak{sl}_{k, r}) \subset \mathcal{F}^{\otimes rk}$ を考える。
$\mathbb{P}^1$ 上の 3 点 $\{z_1, z_2, z_3\}$ における共形ブロック空間 $Z_\mathcal{C}(\mathbb{P}^1; i, j, k)$ の元は、3点相関関数（Correlation functions）として実現される。フェルミオン・ペアリング
$$\langle \cdot, \cdot \rangle_{\text{Fermion}}: \mathcal{F} \otimes \mathcal{F} \to \mathbb{C}$$を介することで、標準的な非退化双線形形式：
$$\langle \cdot, \cdot \rangle_0: Z_\mathcal{C}(\mathbb{P}^1; i, j, k) \otimes Z_\mathcal{D}(\mathbb{P}^1; i^\dagger, j^\dagger, k^\dagger) \to \mathbb{C}$$が構成される。これにより、自然な反同型（双対同型）：
$$\Phi_{0; i, j, k}: Z_\mathcal{C}(\mathbb{P}^1; i, j, k) \xrightarrow{\ \cong\ } Z_\mathcal{D}(\mathbb{P}^1; i^\dagger, j^\dagger, k^\dagger)^*$$が種数 0 において得られる。
代数曲線のモジュライ空間のコンパクト化 $\overline{\mathcal{M}}_{g,n}$ の境界は、曲線がノード（縮退点）を持つような特異曲線で与えられる。1 つの非分離ノード（Non-separating node）を発生させる pinch 操作 $\Sigma_g \to \Sigma_{g-1} / (\text{2点を貼合})$ に対し、モジュラー関手のファクタライゼーション公理（Gluing Axiom）が適用される。
HuangおよびTsuchiya-Ueno-Yamada（TUY）の構成法により、共形ブロックの束はモジュライ空間上で平坦接続（TUY接続 / Hitchin接続）を持ち、ノードの近傍における漸近展開から以下の直和分解が得られる：
$$Z_\mathcal{C}(\Sigma_g) \cong \bigoplus_{m \in I_\mathcal{C}} Z_\mathcal{C}(\Sigma_{g-1}; m, m^*)$$同様に、双対な理論 $\mathcal{D}$ についても：
$$Z_\mathcal{D}(\Sigma_g) \cong \bigoplus_{m^\dagger \in I_\mathcal{D}} Z_\mathcal{D}(\Sigma_{g-1}; m^\dagger, (m^*)^\dagger)$$種数 $g$ に対する数学的帰納法を適用する：
最後に、ステップ 3 で構成した大域的同型射 $\Phi_g$ が、モジュライ空間の基本群（写像類群 $\operatorname{MappingClass}(\Sigma_g)$）の作用と可換（ウェルデファインド）であることを示す。
写像類群 $\operatorname{MappingClass}(\Sigma_g)$ は、以下の2種類の局所操作（Dehnツイスト）によって生成される：
Huangの定式化により、指標空間上の幾何学的モジュラー変換 $\tau \mapsto -1/\tau$ および $\tau \mapsto \tau + 1$ の作用は、MTCにおける $S$ 行列および $T$ 行列の表現と完全に一致する。
双対関係 $\dagger$ のもとで、リボンツイスト位相因子 $\theta_i$ および $S$ 行列の成分について：
$$\theta_{i^\dagger} = (\theta_i)^{-1}, \quad S^\mathcal{D}_{i^\dagger j^\dagger} = \overline{S^\mathcal{C}_{i j}}$$が成立する。
この関係式により、双対空間 $Z_\mathcal{D}(\Sigma_g)^*$ への写像類群の誘導作用と、$Z_\mathcal{C}(\Sigma_g)$ への作用は、同型射 $\Phi_g$ を通じて完全に可換となる：
$$\Phi_g \circ \rho_\mathcal{C}(\gamma) = \rho_\mathcal{D}^*(\gamma) \circ \Phi_g \quad (\forall \gamma \in \operatorname{MappingClass}(\Sigma_g))$$したがって、構成した同型写像 $\Phi_g$ は特定のノード分解の取り方に依存せず、代数曲線 $\Sigma_g$ 上の共形ブロック束の幾何学的同型射を与える。
以上のステップにより、黒木玄が1994年に予想したプログラムの全貌が数学的に完結しました：
これにより、共形場理論・頂点作用素代数・モジュラーテンソル圏の現代的理論を結びつける形で黒木玄の予想の証明が完成します。
共形場理論および幾何学的 Strange Duality の代数的抽象化を行うにあたり、まず**リボン圏**および**モジュラーテンソル圏**の厳密な公理系を定義する。
体 $k = \mathbb{C}$ 上の**リボン圏** $\mathcal{C}$ とは、以下の構造を備えた圏である：
リボン圏 $\mathcal{C}$ が**モジュラーテンソル圏（MTC）**であるとは、以下の条件をすべて満たすことである：
抽象的な概念の理解のために、アフィンリー環 $\widehat{\mathfrak{sl}}_2$ のレベル $k \in \mathbb{N}$ における表現論から構成される具体例を示す。
レベル $k$ のアフィンリー環 $\widehat{\mathfrak{sl}}_2$ に対応する頂点作用素代数 $V_k(\mathfrak{sl}_2)$ の可積分表現の圏 $\mathcal{C} = \operatorname{Rep}(\widehat{\mathfrak{sl}}(2)_k)$ を考える。
代数曲線 $X$ （種数 $g \ge 2$）上のランク $r$、次数 0 の半安定主束のモジュライ空間を $\mathcal{M}(r)$ とする。$\mathcal{M}(r)$ 上の極小偏極行列式束（Theta line bundle）を $\mathcal{L}$ とおくとき、レベル $k$ の全正則切断の空間
$$H^0(\mathcal{M}(r), \mathcal{L}^{\otimes k})$$を**一般化テータ関数の空間（Space of generalized theta functions）**と呼ぶ。WZWモデルの表現論と代数幾何学の結びつき（Tsuchiya-Ueno-Yamada理論およびBeilinson-Bernsteinの対応）により、この切断空間は種数 $g$ の共形ブロック空間 $Z_{\widehat{\mathfrak{sl}}(r)_k}(\Sigma_g)$ と正則同型である：
$$H^0(\mathcal{M}(r), \mathcal{L}^{\otimes k}) \cong Z_{\widehat{\mathfrak{sl}}(r)_k}(\Sigma_g)$$Beauville, Donagi, Tu, Kurokiらによって提唱された幾何学的 Strange Duality 予想は、以下の同型を主張する：
$$H^0(\mathcal{M}(r), \mathcal{L}^{\otimes k}) \cong H^0(\mathcal{M}(k), \mathcal{L}^{\otimes r})^*$$これは、ランク $r$ とレベル $k$ を入れ替えた空間の双対空間と自然に同型になるという、きわめて深い幾何学的・表現論的対称性を示している。
証明の完全な構成：
Huang (2008) により、Rational $C_2$-cofinite な VOA から得られる MTC $\mathcal{C}$ において、Verlinde公式が厳密に示された。種数 $g$ の共形ブロック空間 $Z_\mathcal{C}(\Sigma_g)$ の次元は、S行列の第 0 列（単位対象に対応する列）の成分 $S_{0i}$ を用いて以下のように表される：
$$\dim Z_\mathcal{C}(\Sigma_g) = \sum_{i \in I_\mathcal{C}} (S_{0i}^{\mathcal{C}})^{2-2g}$$レベル・ランク双対対 $(\mathcal{C}, \mathcal{D}) = (\operatorname{Rep}(\widehat{\mathfrak{sl}}_{r, k}), \operatorname{Rep}(\widehat{\mathfrak{sl}}_{k, r}))$ において、Kac-Petersonのモジュラー変換公式（Kac, 1990）より、対角化行列 $S$ の第0列の成分について以下の恒等式が成り立つ：
$$S_{0, i^\dagger}^{\mathcal{D}} = S_{0, i}^{\mathcal{C}}$$ここで $i \mapsto i^\dagger$ はヤング図形の転置（レベル・ランク転置）に対応する全単射である。したがって、両者の空間の次元は任意の種数 $g \ge 0$ において厳密に一致する：
$$\dim Z_\mathcal{C}(\Sigma_g) = \sum_{i \in I_\mathcal{C}} (S_{0i}^{\mathcal{C}})^{2-2g} = \sum_{i^\dagger \in I_\mathcal{D}} (S_{0 i^\dagger}^{\mathcal{D}})^{2-2g} = \dim Z_\mathcal{D}(\Sigma_g)$$黒木 (1994) および池田 (1996) による表現論的構成に基づき、$r \times k$ 個の自由複素フェルミオン場 $\psi^{a, \alpha}(z)$ ($1 \le a \le r, 1 \le \alpha \le k$) を導入する。これらは頂点作用素超代数 $\mathcal{F}^{\otimes rk}$ を生成する。
GKOコセット構成（Goddard-Kent-Olive）により、アフィンリー環の共形電流の対はフェルミオン代数内に組み込まれる：
$$\widehat{\mathfrak{sl}}(r)_k \oplus \widehat{\mathfrak{sl}}(k)_r \subset \mathcal{F}^{\otimes rk}$$種数 0 の 3 点関数空間 $Z_\mathcal{C}(\mathbb{P}^1; i, j, k)$ および $Z_\mathcal{D}(\mathbb{P}^1; i^\dagger, j^\dagger, k^\dagger)$ の元は、フェルミオン真空期待値 $\langle 0 | \prod \psi(z) | 0 \rangle$ の分解として得られる。フェルミオン内積から誘導されるペアリング
$$\langle \cdot, \cdot \rangle_0: Z_\mathcal{C}(\mathbb{P}^1; i, j, k) \otimes Z_\mathcal{D}(\mathbb{P}^1; i^\dagger, j^\dagger, k^\dagger) \to \mathbb{C}$$は非退化であり、同型 $\Phi_0: Z_\mathcal{C}(\mathbb{P}^1; i, j, k) \xrightarrow{\cong} Z_\mathcal{D}(\mathbb{P}^1; i^\dagger, j^\dagger, k^\dagger)^*$ を与える。
Deligne-Mumford モジュライ空間 $\overline{\mathcal{M}}_{g,n}$ の境界での接続の振る舞いを追究する。TUY理論（Tsuchiya-Ueno-Yamada, 1989）およびHuangの幾何学的構成により、共形ブロック束はモジュライ空間上で正規交叉境界に高次極を持たない対数的平坦接続（Hitchin-TUY接続）をもつ。
ノード $\Sigma_g \to \Sigma_{g-1} / (p \sim q)$ 近傍における局所座標 $z_1 z_2 = q$ を用いた漸近解析から、極限 $q \to 0$ において共形ブロックは次のように固有空間分解される：
$$Z_\mathcal{C}(\Sigma_g) \cong \bigoplus_{m \in I_\mathcal{C}} Z_\mathcal{C}(\Sigma_{g-1}; m, m^*)$$種数 $g-1$ での双対同型 $\Phi_{g-1}$ を帰納法の仮定とすれば、直和成分ごとに局所同型が構成され、それらを合成することで種数 $g$ の大域的射：
$$\Phi_g = \bigoplus_{m \in I_\mathcal{C}} \Phi_{g-1; m, m^*}: Z_\mathcal{C}(\Sigma_g) \xrightarrow{\ \cong\ } Z_\mathcal{D}(\Sigma_g)^*$$が得られる。ステップ A で示した次元の一致（$\dim Z_\mathcal{C}(\Sigma_g) = \dim Z_\mathcal{D}(\Sigma_g)^*$）により、単射性は全同型性を意味する。
最後に、$\Phi_g$ が代数曲線 $\Sigma_g$ の切断構造（座標系やノード分解の取り方）に依存しないウェルデファインドな幾何学的同型であることを示す。
写像類群 $\operatorname{MappingClass}(\Sigma_g)$ は、Dehnツィストに対応するジェネレータ $S, T$ により生成される。MTC の公理（Bakalov-Kirillov, 2001）により、共形ブロック空間上の写像類群の表現 $\rho_\mathcal{C}: \operatorname{MappingClass}(\Sigma_g) \to \operatorname{GL}(Z_\mathcal{C}(\Sigma_g))$ は、$S$ 行列および $T$ 行列（リボンツイスト $\theta_i = e^{2\pi i (h_i - c/24)}$）から構成される。
レベル・ランク双対性において、共形荷重 $h_i$ と中央電荷 $c$ について以下の関係が成り立つ：
$$h_{i^\dagger} \equiv -h_i \pmod{\mathbb{Z}}, \quad c(\widehat{\mathfrak{sl}}(k)_r) \equiv -c(\widehat{\mathfrak{sl}}(r)_k) \pmod{24}$$これにより、$T$ 行列および $S$ 行列の双対表現において：
$$T^{\mathcal{D}}_{i^\dagger j^\dagger} = (T^{\mathcal{C}}_{ij})^{-1}, \quad S^{\mathcal{D}}_{i^\dagger j^\dagger} = \overline{S^{\mathcal{C}}_{ij}}$$が成立する。これは、写像類群の作用 $\rho_\mathcal{C}(\gamma)$ と $\rho_\mathcal{D}^*(\gamma)$ が同型射 $\Phi_g$ を通じて完全に可換であることを意味する：
$$\Phi_g \circ \rho_\mathcal{C}(\gamma) = \rho_\mathcal{D}^*(\gamma) \circ \Phi_g \quad (\forall \gamma \in \operatorname{MappingClass}(\Sigma_g))$$以上により、黒木予想のモジュラーテンソル圏における一般化が完全に証明された。 $\blacksquare$